Theorem machine prove
[计] 定理机器证明
🧩 词语组成解析
prove
[pru:v]
vt. 证明，证实;[法]验证，检定;显示;
vi. 显示出，证明是;
🗣️ 情景例句
He is a leader in his field.
他是他行业的领导者。
I've got a terrible pain in my back.
我的背很痛。
They could be saved so much misery and expense if they chose to live in the city where they rightly belong.
要是他们愿意住在本来属于他们的城市，则可以让他们省去诸多不便与节约大量开支。